Formal Definition and Modeling Language of Association-Oriented Database Metamodel (AssoBase)

Metamodel for Object-Oriented Database Management Systems

A Metamodel for Aspect-Oriented Modeling

Aspect-oriented programming (AOP) is reaching maturity after almost a decade of research [9, 1, 7, 8, 10, 2]. The term AOP has been used in [6] to denote “the space of programmatic mechanisms for expressing crosscutting concerns”, including Kiczales et al. work as well as related work (adaptive programming, composition filters, subject-oriented programming and multi-dimensional separation of co...

Integrating Object-Oriented Modeling Techniques with Formal Specification Techniques. A Metamodel-based Approach

Syntax Class, Association Object, Message Static Aspects No attributes may have the same name within a Classifier. The values of attributes have to match the declarations in the Classifier. Dynamic Aspects meaning of adding an Attribute in a Class. How an object reacts to a message.

Formal operation definition in object-oriented databases

ion of the result of an expression, it is obvious that without result, a type for an expression is irrelevant. Obviously, there is more to heterogeneity than just the addition or modification of typing rules. It has a profound impact on the meaning of a type, hence on the meaning of expressions. In Section 5.3.6, we have seen that heterogeneity is one of the causes of update anomalies if not pr...

A Metamodel for the Unified Modeling Language

Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling language metamodel may cause major problems in the language applications; thus with the model driven systems development the solidness of mode...